Carolyn Talcott (eds.): ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

A K Peters/CRC Press

Sieg, Wilfried, Sommer, Richard, Talcott, Carolyn L et al. (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

DJVU, 4.62 MB

0 / 0

english, 2002

2

Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Perdita Stevens (auth.), Farhad Arbab, Carolyn Talcott (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 4.04 MB

0 / 0

english, 2002

3

Composing Model-Based Analysis Tools

Composing Model-Based Analysis Tools

Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler, (eds.)

ปี:

2021

ภาษา:

english

ไฟล์:

PDF, 10.01 MB

0 / 5.0

english, 2021

4

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Springer International Publishing

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott (eds.)

ปี:

2015

ภาษา:

english

ไฟล์:

PDF, 17.75 MB

0 / 0

english, 2015

5

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carolyn L. Talcott (eds.)

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 14.70 MB

0 / 0

english, 2000

6

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 4.34 MB

0 / 0

english, 2002

7

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 5.85 MB

0 / 0

english, 2002